Analysing and Demonstrating Tool-Supported Customizable Task Notations
نویسندگان
چکیده
منابع مشابه
Customizable Notations for Software Design
ISF is a visual formalism for creating custom notations for high-level software design. In this paper we describe the formal semantics of ISF in Datalog. The semantics provides useful insight on how deduc-tive database technology can be used to generate tools to support our custom notations.
متن کاملCustomizable notations for kernel formalisms
Rigorous formal methods and intuitive graphical no tations can greatly enhance the development of com plex computer systems Formal methods guarantee non ambiguity and support powerful analysis tech niques Intuitive graphical notations facilitate the communications between engineers preventing errors due to misunderstandings Unfortunately tools and techniques based on for mal methods do not usua...
متن کاملODIN: a customizable literature curation tool
Introduction ODIN is a lightweight graphical interface for literature curation that can be run within a web browser. ODIN has been developed by the OntoGene group (http://www.ontogene.org/) at the University of Zurich, which specializes in biomedical text mining, in particular extraction of domain entities and their relationships from the scientific literature. The quality of their textmining t...
متن کاملCustomizable Multi-Engine Search Tool with Clustering
The dozens of existing search tools and the keyword-based search model have become the main issues of accessing the ever growing WWW. Various ranking algorithms, which are used to evaluate the relevance of documents to the query, have turn out to be impractical. This is because the information given by the user is too few to give good estimation. In this paper, we propose a new idea of searchin...
متن کاملLinking Notations and Theories in a Proof Tool
The formal development of non-trivial, real-time systems can be made more manageable by using several complementary formal methods for diierent aspects of the development. In this paper we show how sound interfaces between diierent methods can be deened formally in the HOL theorem proving system and how we have used such links to solve a variety of problems. Our motivation for linking theories ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Proceedings of the ACM on Human-Computer Interaction
سال: 2019
ISSN: 2573-0142
DOI: 10.1145/3331154